Automatic Test Software
نویسنده
چکیده
Even when software is developed using a rigorous discipline, it will contain a significant number of bugs. At one time, it was believed that the use of formal methods would eventually allow probable correct programs to be written, thus completely eliminating the need for testing. Today, we know that while the number of defects in a program written will be lower under certain development environments, they will still add up to a large number in a reasonably large program. There has to be testing and debugging, which can consume up to 60% of the total effort.
منابع مشابه
Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملPredicting of Students' Anxiety on the basis of Emotional Regulation Difficulties and Negative Automatic Thoughts
Introduction: Anxiety is a psychological disorder, which cognition of its causes is essential. The aim of this study was to examine of emotional regulation difficulties and negative automatic thoughts in the prediction of students' anxiety Islamic Azad University, Bukan Branch. Methods: The method used is descriptive- correlation. The statistical population of this study includes all of college...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملTest Case Automatic Generation Research Based on AADL Behavior Annex
Test case generation is essential to software test. Software test efficiency can be greatly improved through test case automatic generation. AADL Behavior Annex is an extension of AADL which can describe detailed behavior of AADL component. In this paper, we discuss a test case automatic generation method based on the AADL Behavior Annex. This method contains two parts: automatic generation of ...
متن کاملReview of Automatic Test Case Generation from UML Diagram using Evolutionary Algorithm
Software testing plays a vital role in software development life cycle. An approach of testing which takes place at design phase can remove errors in the system and improvise the developed project. Automatic test case generation can be used for testing software or real time applications. Many evolutionary algorithms are used for generating test case automatically. This paper represent review of...
متن کاملA framework for practical, automated black-box testing of component-based software
This paper outlines a general strategy for automated black-box testing of software components that includes: automatic generation of component test drivers, automatic generation of black-box test data, and automatic or semi-automatic generation of component wrappers that serve as test oracles. This research in progress unifies several threads of testing research, and preliminary work indicates ...
متن کامل